/**
 * @file shell_port.h
 */

#ifndef __SHELL_PORT_H__
#define __SHELL_PORT_H__

#include "shell.h"
#include "system.h"

extern Shell shell;

signed short userShellWrite(char *data, unsigned short len);
void userShellInit(void);
#endif
